Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
861	Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-09-23 09:29:29 Software engineering Theoretical computer science Computing Logic in computer science Subroutines Formal methods Formal verification Decompiler Calling convention Isabelle Separation logic Satisfiability modulo theories
862	Weighted Skeletons and Fixed-Share Decomposition∗ FRANZ AURENHAMMER Institute for Theoretical Computer Science University of Technology, Graz, Austria Add to Reading List Source URL: www.igi.tugraz.at Language: English - Date: 2016-02-13 09:27:27
863	Validating Plans with Durative Actions via Integrating Boolean and Numerical Constraints Roman Barták Charles University in Prague, Faculty of Mathematics and Physics Institute for Theoretical Computer Science Malostran Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:36
864	The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Software engineering Theoretical computer science Computer programming Formal methods Logic in computer science Macro Hoare logic Assertion Separation logic C preprocessor Postcondition Assembly language
865	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
866	Content Extraction Using Diverse Feature Sets Matthew E. Peters Dan Lecocq SEOmoz Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:47:02 Computational linguistics Algorithm Mathematical logic Theoretical computer science Data mining Information science Academia Natural language processing Mathematics Document clustering Automatic summarization
867	Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) Annual Report, June 2007–May 2008 Luca Aceto Add to Reading List Source URL: www.icetcs.ru.is Language: English - Date: 2011-05-19 12:01:05
868	Optimal Algorithms for k-Search with Application in Option Pricing Julian Lorenz1 , Konstantinos Panagiotou2 , and Angelika Steger Institute of Theoretical Computer Science, ETH Zurich, 8092 Zurich, Switzerland {jlorenz, Add to Reading List Source URL: www.algorithmictradingpit.com Language: English - Date: 2014-02-26 08:06:52
869	Program Logics for Certified Compilers Add to Reading List Source URL: vst.cs.princeton.edu Language: English - Date: 2013-05-31 14:00:42 Theoretical computer science Logic in computer science Formal methods Mathematical logic Automated theorem proving Substructural logic Formal verification Compiler correctness Separation logic Correctness Semantics Hoare logic
870	Vehicle Routing for a Complex Waste Collection Problem Iliya Markov, Ecole Polytechnique Fédérale de Lausanne Sacha Varone, Haute Ecole de Gestion de Genève Michel Bierlaire, Ecole Polytechnique Fédérale de Lausanne Add to Reading List Source URL: www.strc.ch Language: English - Date: 2014-05-14 02:10:52 NP-complete problems Operations research Vehicle routing problem Travelling salesman problem Applied mathematics Mathematics Variable neighborhood search Partition problem Heuristic Simulated annealing Theoretical computer science

UPDATE